1. AML--The Agent Modeling Language
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intelligent agents (Computer software) ; Computer software ; Development. ; Programming languages (Electronic computers) ;
2. Code craft
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programming. ; Programming languages (Electronic computers) ; Computer software ; Development. ;
3. Domain-specific modeling
پدیدآورنده : / Steven Kelly, Juha-Pekka Tolvanen
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Programming languages (Electronic computers),Computer software- Development
رده :
QA76
.
7
.
K45
2008
4. Formal specification and software development
پدیدآورنده : Bjorner, Dines, 7391-
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computer software -- Development,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
5. Mastering Rust :
پدیدآورنده : Vesa Kaihlavirta.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development.,Computer programming.,Programming languages (Electronic computers),Application software-- Development.,Computer programming.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- General.,COMPUTERS-- Programming-- Object Oriented.,Programming languages (Electronic computers)
رده :
QA76
.
7
6. MetaSoft primer :
پدیدآورنده : Andrzej Blikle.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development.,Metalanguage.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
.
B57
1987
7. MetaSoft primer : towards a metalanguage for applied denotational semantics
پدیدآورنده : Blikle, Andrzej
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Metalanguage,، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
288
8. Practical TLA+ :
پدیدآورنده : Hillel Wayne.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers),SDL (Computer program language),Computer programming-- software development.,COMPUTERS-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),SDL (Computer program language),Software Engineering.
رده :
QA76
.
7
9. Rust essentials :
پدیدآورنده : Ivo Balbaert
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development,Computer programming,Programming languages (Electronic computers)
رده :
QA76
.
7
10. Software language engineering :
پدیدآورنده : Anneke Kleppe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development.,Programming languages (Electronic computers),Software engineering.,Computer software-- Development.,Computer software-- Development.,Programming languages (Electronic computers),Programming languages (Electronic computers),Software engineering.,Software engineering.
رده :
QA76
.
7
.
K576
2009
11. Software language engineering. first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers
پدیدآورنده : SLE 8002)8002 :Toulouse, France(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Programming languages )Electronic computers( Congresses,، Software engineering Congresses,، Computer software- Development Congresses
رده :
QA
76
.
7
.
S587
2008
12. Swift 3 for Absolute Beginners
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
رده :
QA76
.
73
.
S95
13. The Imperative future :principles of executable temporal logic
پدیدآورنده : edited by Howard Barringer ... ]et al.[
کتابخانه: (خراسان الجنوبیة)
موضوع : Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
D47
I47
1996
14. specific modeling-Domain
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers) ; Computer software ; Development. ;
